Categoricity for Abstract Classes with Amalgamation Sh394
نویسنده
چکیده
Let K be an abstract elementary class with amalgamation, and Lowenheim Skolem number LS(K). We prove that for a suitable Hanf number χ0 if χ0 < λ0 ≤ λ1, and K is categorical in λ + 1 then it is categorical in λ0. 2000 Mathematics Subject Classification. 03C45, 03C75.
منابع مشابه
Shelah's categoricity conjecture from a successor for tame abstract elementary classes
We prove a categoricity transfer theorem for tame abstract elementary classes. Theorem 0.1. Suppose that K is a χ-tame abstract elementary class and satisfies the amalgamation and joint embedding properties and has arbitrarily large models. Let λ ≥ Max{χ,LS(K)}. If K is categorical in λ and λ, then K is categorical in λ. Combining this theorem with some results from [Sh 394], we derive a form o...
متن کاملCategoricity in Abstract Elementary Classes with No Maximal Models
The results in this paper are in a context of abstract elementary classes identified by Shelah and Villaveces in which the amalgamation property is not assumed. The long-term goal is to solve Shelah’s Categoricity Conjecture in this context. Here we tackle a problem of Shelah and Villaveces by proving that in their context, the uniqueness of limit models follows from categoricity under the assu...
متن کاملCategoricity in abstract elementary classes with no maximal models
The results in this paper are in a context of abstract elementary classes identified by Shelah and Villaveces in which the amalgamation property is not assumed. The long-term goal is to solve Shelah’s Categoricity Conjecture in this context. Here we tackle a problem of Shelah and Villaveces by proving that in their context, the uniqueness of limit models follows from categoricity under the assu...
متن کاملAbstract Elementary Classes Motivations and Directions
Elementary Classes Motivations and Directions John T. Baldwin Why AEC? Categoricity and Complex Exponentiation Excellence– Generalized Amalgamation Eventual Categoricity Core Mathematics again Abstract Elementary Classes Motivations and Directions
متن کاملA Downward Categoricity Transfer for Tame Abstract Elementary Classes
We prove a downward transfer from categoricity in a successor in tame abstract elementary classes (AECs). This complements the upward transfer of Grossberg and VanDieren and improves the Hanf number in Shelah’s downward transfer (provided the class is tame). Theorem 0.1. Let K be an AEC with amalgamation. If K is LS(K)-weakly tame and categorical in a successor λ ≥ i(2LS(K))+ , then K is catego...
متن کامل